Skip to content

Add the per-binding generator policy doc#32

Merged
Ar-mie merged 1 commit into
MobilityDB:mainfrom
estebanzimanyi:tooling/canonical-generator-policy
Jul 9, 2026
Merged

Add the per-binding generator policy doc#32
Ar-mie merged 1 commit into
MobilityDB:mainfrom
estebanzimanyi:tooling/canonical-generator-policy

Conversation

@estebanzimanyi

@estebanzimanyi estebanzimanyi commented Jun 25, 2026

Copy link
Copy Markdown
Member

What

Documents how MobilityFlink is generated, under the ecosystem-wide per-binding
generator policy: every binding is a projection of the MEOS-API catalog and owns
its own in-repo generator.

GENERATION.md states the policy for this repo: MobilityFlink is a consumer
binding (it binds the JMEOS jar, not MEOS-API directly); its generator
tools/codegen_facades.py emits the org.mobilitydb.meos.MeosOps* forwarder
facades — a consumer projection that lives here so the JMEOS FFI line and the
facade line do not diverge.

Docs only — no code, no build impact.

@estebanzimanyi estebanzimanyi force-pushed the tooling/canonical-generator-policy branch from 9fd4aaa to 6fb82bc Compare June 25, 2026 21:40

@Ar-mie Ar-mie left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approved but maybe regen-from-pin.sh probably should fail (exit 1) instead of just raising a warning, and the doc in compose-order.txt should be updated to fit the new order of merges that happened (#31 -> #33 -> #32)
also $PIN is never used in the script, only JMEOS_JAR uses it, is it a mistake (and a verification is missing) or made on purpose ?

@estebanzimanyi estebanzimanyi force-pushed the tooling/canonical-generator-policy branch from 6fb82bc to 41c7219 Compare July 9, 2026 10:06
@estebanzimanyi estebanzimanyi changed the title Add the MobilityFlink pin manifest and per-binding generator policy Add the per-binding generator policy doc Jul 9, 2026
@Ar-mie Ar-mie merged commit a687d7b into MobilityDB:main Jul 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants